1

An Abstract Way to Define Rewriting Logic

Year:
2006
Language:
english
File:
PDF, 374 KB
english, 2006
3

Some General Results About Proof Normalization

Year:
2010
Language:
english
File:
PDF, 351 KB
english, 2010